CIE: Style fix
authorDebarshi Ray <debarshir@gnome.org>
Mon, 14 May 2018 14:04:27 +0000 (16:04 +0200)
committerDebarshi Ray <debarshir@gnome.org>
Mon, 14 May 2018 14:04:27 +0000 (16:04 +0200)
commite602bc928b32db30b9b9fda0632536a7b11db6c0
tree29d6c4d333d6eda5188e7efba7baae73cb98636b
parent3788e861e545d43d5911677250c0f55d5f7ccedf
CIE: Style fix

Fallout from 3788e861e545d43d5911677250c0f55d5f7ccedf
extensions/CIE.c